On the median residual lifetime and its aging properties: A characterization theorem and applications

This paper is devoted to study several aspects of the median residual life function (MERLF). In reliability studies, it is well known that, although the MERLF have several advantages over the mean residual life function (MRLF), the MRLF has the good property of uniquely determine a life distribution whereas either the median residual life function (MERLF) or an α‐percentile residual life do not have such good property. We shall give a characterization result where knowledge of both the MERLF and the survival function on an interval does uniquely determine the distribution. Moreover, in order to apply this characterization in practical situations, we propose a method to estimate the necessary information of the survival function. Relationships between analytical properties of the survival function and its associated MERLF are also obtained. Bryson and Siddiqui [J Am Statist Assoc 64 (1969), 1472–1483] proved relationships among seven criteria for aging, out of which two contained the MRLF (decreasing MRLF and net decreasing MRLF). In this paper, we prove that the same pattern of relationships holds if the MRLF is replaced by the MERLF. We also examine the aging criteria corresponding to an increasing MERLF and show that there is no relation between the behavior (increasing or decreasing) of the MERLF and of the MRLF. © 2005 Wiley Periodicals, Inc. Naval Research Logistics, 2005     

关于Tu-Deng函数的一个注记

2009年,Tu和Deng在一个组合猜想成立的基础上,构造了同时具有最优代数免疫性、最优代数次数和高非线性度的一类偶数元布尔函数.这类函数被称为Tu-Deng函数.基于同一猜想,Tu和Deng又构造了同时具有次最优代数免疫性、最优代数次数和较高非线性度的一类偶数元的l -阶弹性函数.通过研究由Tu-Deng函数导出的两个布尔函数的级联的密码学性质,在Tu-Deng猜想成立的基础上,给出一类奇数元的1 -阶弹性布尔函数.这类函数同时具有次最优代数免疫性、最优代数次数和较高非线性度.     

Maximizing the ratio of two convex functions over a convex set

The purpose of this article is to present an algorithm for globally maximizing the ratio of two convex functions f and g over a convex set X. To our knowledge, this is the first algorithm to be proposed for globally solving this problem. The algorithm uses a branch and bound search to guarantee that a global optimal solution is found. While it does not require the functions f and g to be differentiable, it does require that subgradients of g can be calculated efficiently. The main computational effort of the algorithm involves solving a sequence of subproblems that can be solved by convex programming methods. When X is polyhedral, these subproblems can be solved by linear programming procedures. Because of these properties, the algorithm offers a potentially attractive means for globally maximizing ratios of convex functions over convex sets. © 2006 Wiley Periodicals, Inc. Naval Research Logistics, 2006     

关于U算子有界性的证明

利用Hardy Littlewood极大算子及性质与分数次极大算子及性质 ,证明了u(x)在Lq(Rn) ,L∝ ,Lq(E)空间上是有界的 ,Coσoπeβ定理应予以推广。     

Minimizing sums and products of linear fractional functions over a polytope

In this paper, we develop efficient deterministic algorithms for globally minimizing the sum and the product of several linear fractional functions over a polytope. We will show that an elaborate implementation of an outer approximation algorithm applied to the master problem generated by a parametric transformation of the objective function serves as an efficient method for calculating global minima of these nonconvex minimization problems if the number of linear fractional terms in the objective function is less than four or five. It will be shown that the Charnes–Cooper transformation plays an essential role in solving these problems. Also a simple bounding technique using linear multiplicative programming techniques has remarkable effects on structured problems. © 1999 John Wiley & Sons, Inc. Naval Research Logistics 46: 583–596, 1999     

求解布尔不可满足子式的消解悖论算法

求解布尔不可满足子式在超大规模集成电路设计与验证领域都具有非常重要的理论与应用价值,帮助EDA工具迅速定位错误与不一致。针对求解不可满足子式的非完全方法,提出了消解悖论与悖论解析树的概念,在此基础上提出一种启发式局部搜索算法。该算法根据公式的消解规则,采用局部搜索过程直接构造证明不可满足性的悖论解析树,而后递归搜索得到不可满足子式;算法中融合了布尔推理技术、动态剪枝方法及蕴含消除方法以提高搜索效率。基于随机测试集进行了实验对比,结果表明提出的算法优于同类算法。     

密码学中的布尔函数研究综述

概述了目前密码学中布尔函数的研究现状和重要研究方向上的新成果,并对布尔函数的研究进行了展望,指出了一些重要的研究热点问题.     

Efficient sequential decision‐making algorithms for container inspection operations

Following work of Stroud and Saeger (Proceedings of ISI, Springer Verlag, New York, 2006) and Anand et al. (Proceedings of Computer, Communication and Control Technologies, 2003), we formulate a port of entry inspection sequencing task as a problem of finding an optimal binary decision tree for an appropriate Boolean decision function. We report on new algorithms for finding such optimal trees that are more efficient computationally than those presented by Stroud and Saeger and Anand et al. We achieve these efficiencies through a combination of specific numerical methods for finding optimal thresholds for sensor functions and two novel binary decision tree search algorithms that operate on a space of potentially acceptable binary decision trees. The improvements enable us to analyze substantially larger applications than was previously possible. © 2011 Wiley Periodicals, Inc. Naval Research Logistics, 2011     

武警院校“本科生导师制”人才培养模式初探

本科生导师制作为本科教育阶段的新型人才培养方式,适应本科生教育的基础性地位,有利于提高本科生的培养质量,有利于挖掘具有科研潜质的人才,是加强军校学员教育管理、提高教育教学质量的有效措施。结合本科生导师制的实质,联系武警部队职能使命的需求,通过对军事院校推行本科生导师制的必要性和现实意义的分析,对本科生导师制进行了探索。     

边界扫描测试的数学描述模型

IEEE1149.1边界扫描机制是一种新型的VLSI电路测试及可测试性设计的有效方法,为了高效地应用边界扫描机制对电路系统进行测试,必须对其所涉及的理论方法进行深入探讨。本文应用布尔矩阵理论建立起边界扫描测试的数学描述模型,并基于所建立的模型导出了边界扫描测试中的故障检测条件和故障隔离条件。为边界扫描测试生成算法的深入研究奠定了理论基础。